منابع مشابه
Formality in an Equivariant Setting
We define and discuss G-formality for certain spaces endowed with an action by a compact Lie group. This concept is essentially formality of the Borel construction of the space in a category of commutative differential graded algebras over R = H•(BG). These results may be applied in computing the equivariant cohomology of their loop spaces.
متن کاملFormality of Equivariant Intersection Cohomology of Algebraic Varieties
We present a proof that the equivariant intersection cohomology of any complete algebraic variety acted by a connected algebraic group G is a free module over H∗(BG).
متن کاملExploiting Formality Within an Architectural Design Method
This report argues that formal methods need to be properly integrated into an architectural design method if they are to be successfully transferred into industrial practice. It outlines a number of issues which need to be considered when performing such integration, and illustrates these points by reference to the formal techniques for complex high-integrity real-time systems being developed i...
متن کاملFormality and Star Products
These notes, based on the mini-course given at the PQR2003 Euroschool held in Brussels in 2003, aim to review Kontsevich’s formality theorem together with his formula for the star product on a given Poisson manifold. A brief introduction to the employed mathematical tools and physical motivations is also given.
متن کاملFormality for Algebroid Stacks
We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2003
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-03-03265-3